🐚 Bash FP

Shell Scripting, Pipeline Composition, Immutable Operations, Functional Style

A Lisp Interpreter for Linux Shell Scripting
jakobmaier.at·23h·
Discuss: Hacker News
🔗Lisp
CLI tool that translates plain English into Linux commands
reddit.com·3h·
Discuss: r/linux
📝Shell Parsing
Slip – A Lisp System in JavaScript
lisperator.net·5h·
Discuss: Hacker News
🔗Lisp
The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.com·2d
📺VT100
Let's Write a Macro in Rust
hackeryarn.com·3h·
Discuss: Hacker News
🦀Rust Macros
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com·19h
🌊Streaming Systems
Comma scripts
perrotta.dev·19h
🐚Shell Automation
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·15h
⛪Church Encoding
XProc 3 Steps as XSpec Test Helper Functions
medium.com·2h
🔀XSLT
Lobsters Interview with Zdsmith
lobste.rs·13h·
Discuss: Lobsters
🔗Concatenative Programming
Show HN: Static builds of popular open source libraries on npmjs.org
github.com·4h·
Discuss: Hacker News
🔓Open Source Software
Item Patterns and Struct Await
noratrieb.dev·13h·
Discuss: Hacker News
🦀Rust Macros
Modern C and initializing an array
subethasoftware.com·1d
🗂Data structures
Experimenting with ACL2 and Claude Code
mikedodds.org·6h·
Discuss: Hacker News
👑Isabelle
10 Command-Line Tools Every Data Scientist Should Know
kdnuggets.com·2d
🤖Archive Automation
A new breed of analyzers
daniel.haxx.se·7h·
Discuss: Lobsters, Hacker News, r/programming
🐛Fuzzing
Haskell Weekly Issue 493
haskellweekly.news·1d·
Discuss: Hacker News
🧬Functional Programming
Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·11h
📞Session Types
Three ways formally verified code can go wrong in practice
buttondown.com·2h
📜Proof Carrying Code
Three gripes about Go modules
jotaen.net·1h·
Discuss: Hacker News
🔓Reverse engineering